De nitional Concurrent Constraint Programming
نویسندگان
چکیده
In this paper, deenitional constraint constraint programming, abbreviated as CDC, is presented as a uniform framework for declarative concurrent programming. The new paradigm supports a uniform concurrent computational model unifying functional evaluation, linear deduction and constraint solving. It leads us from a constraint based integration of functional and logic programming to a powerful framework for multiparadigm concurrent constraint programming.
منابع مشابه
A Process Algebra of Concurrent Constraint Programming
We develop an algebraic theory for the observational equivalence of concurrent constraint programs which identifies processes which have the same final results for all possible executions.
متن کاملCompositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form
We present a language and semantics independent compo sitional and inductive method for specifying formal semantics or seman tic properties of programs in equivalent xpoint equational constraint closure condition rule based and game theoretic form The de nitional method is obtained by extending set theoretic de nitions in the context of partial orders It is parameterized by the language syntax ...
متن کاملUsing Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
To cite this version: Alexander Bockmayr, Arnaud Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems. [Interne] A02-R-026 —— bockmayr02a, 2002, 15 p. HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching an...
متن کاملConcurrent constraint programming and linear logic
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملFrom Concurrent Logic Programming to Concurrent Constraint Programming
The endeavor to extend logic programming to a language suitable for concurrent systems has stimulated in the last decade an intensive research, resulting in a large variety of proposals. A common feature of the various approaches is the attempt to deene mechanisms for concurrency within the logical paradigm, the driving ideal being the balance between expressiveness and declarative reading. In ...
متن کامل